\footnotesize{
\begin{verbatim}
#(board)=
{(((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)),
{board.x -> board.x.0,board.y -> board.y.0,board.id -> board.id.0}),
    
(((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)),
{board.x -> board.x.1,board.y -> board.y.1,board.id -> board.id.1})}

\end{verbatim}
}